<html>
 <head>
  <meta charset="UTF-8">
 </head>
 <body>
  <h1 data-lake-id="houpl" id="houpl"><span data-lake-id="u01162617" id="u01162617">典型回答</span></h1>
  <p data-lake-id="u7879130e" id="u7879130e"><br></p>
  <p data-lake-id="u6b17d31b" id="u6b17d31b"><span data-lake-id="u2b848991" id="u2b848991">AbstractQueuedSynchronizer （抽象队列同步器，以下简称 AQS）出现在 JDK 1.5 中。AQS 是很多同步器的基础框架，比如 ReentrantLock、CountDownLatch 和 Semaphore 等都是基于 AQS 实现的。除此之外，我们还可以基于 AQS，定制出我们所需要的同步器。</span></p>
  <p data-lake-id="u5f2fd86b" id="u5f2fd86b"><span data-lake-id="ufcafe9a6" id="ufcafe9a6">​</span><br></p>
  <pre lang="java"><code>
public abstract class AbstractQueuedSynchronizer
    extends AbstractOwnableSynchronizer
    implements java.io.Serializable {
}
</code></pre>
  <p data-lake-id="u0909b399" id="u0909b399"><span data-lake-id="u80c4db5d" id="u80c4db5d">​</span><br></p>
  <p data-lake-id="u777abf03" id="u777abf03" style="text-align: center"><img src="https://cdn.nlark.com/yuque/0/2023/png/5378072/1696139602112-c0b9e1dc-1e54-43b7-a5f8-bda51ba28b68.png?x-oss-process=image%2Fwatermark%2Ctype_d3F5LW1pY3JvaGVp%2Csize_22%2Ctext_SmF2YSA4IEd1IFA%3D%2Ccolor_FFFFFF%2Cshadow_50%2Ct_80%2Cg_se%2Cx_10%2Cy_10"></p>
  <p data-lake-id="u92f08d31" id="u92f08d31" style="text-align: center"><br></p>
  <p data-lake-id="ua3aad0c9" id="ua3aad0c9" style="text-align: left"><strong><span data-lake-id="u5188d448" id="u5188d448">在AQS内部，维护了一个FIFO队列和一个volatile的int类型的state变量。在state=1的时候表示当前对象锁已经被占有了，state变量的值修改的动作通过CAS来完成。</span></strong></p>
  <p data-lake-id="u71db51f3" id="u71db51f3" style="text-align: left"><strong><span data-lake-id="ubac54a09" id="ubac54a09">​</span></strong><br></p>
  <p data-lake-id="u12ff48ce" id="u12ff48ce" style="text-align: left"><strong><span data-lake-id="ud77f07cb" id="ud77f07cb">FIFO队列用来实现多线程的排队工作，当线程加锁失败时，该线程会被封装成一个Node节点来置于队列尾部。</span></strong></p>
  <p data-lake-id="uc521f97a" id="uc521f97a" style="text-align: left"><strong><span data-lake-id="ud60dc47b" id="ud60dc47b">​</span></strong><br></p>
  <p data-lake-id="u2bf01faf" id="u2bf01faf" style="text-align: left"><img src="https://cdn.nlark.com/yuque/0/2024/png/5378072/1704529191910-44e2d93f-794a-455e-be4f-0943a7e49f3f.png?x-oss-process=image%2Fwatermark%2Ctype_d3F5LW1pY3JvaGVp%2Csize_40%2Ctext_SmF2YSA4IEd1IFA%3D%2Ccolor_FFFFFF%2Cshadow_50%2Ct_80%2Cg_se%2Cx_10%2Cy_10"></p>
  <p data-lake-id="u997f37cf" id="u997f37cf" style="text-align: left"><strong><span data-lake-id="u11ecc4e7" id="u11ecc4e7">当持有锁的线程释放锁时，AQS会将等待队列中的第一个线程唤醒，并让其重新尝试获取锁。</span></strong></p>
  <p data-lake-id="u04fa2ff6" id="u04fa2ff6" style="text-align: left"><img src="https://cdn.nlark.com/yuque/0/2024/png/5378072/1704529305749-dc2c1532-0a87-46b5-9aa6-d21522be542e.png?x-oss-process=image%2Fwatermark%2Ctype_d3F5LW1pY3JvaGVp%2Csize_31%2Ctext_SmF2YSA4IEd1IFA%3D%2Ccolor_FFFFFF%2Cshadow_50%2Ct_80%2Cg_se%2Cx_10%2Cy_10"></p>
  <blockquote data-lake-id="u64479193" id="u64479193">
   <p data-lake-id="u7daf3d7b" id="u7daf3d7b" style="text-align: left"><span data-lake-id="ud769982f" id="ud769982f">上图展示的是一个非公平锁，如果是公平锁则第一步只进行判断队列中是否有前序节点，如果有的话，直接入队列，不会进行第一次的CAS。</span></p>
  </blockquote>
  <p data-lake-id="ud87610e4" id="ud87610e4" style="text-align: left"><strong><span data-lake-id="u7f99b153" id="u7f99b153">​</span></strong><br></p>
  <h4 data-lake-id="nDUpn" id="nDUpn"><span data-lake-id="u1ebbc9bd" id="u1ebbc9bd">同步状态——state</span></h4>
  <p data-lake-id="u18cdbe26" id="u18cdbe26"><br></p>
  <p data-lake-id="uc5e233e3" id="uc5e233e3"><span data-lake-id="u165600dc" id="u165600dc">AQS使用一个</span><span data-lake-id="ud837bfac" id="ud837bfac" style="color: #DF2A3F">volatile</span><span data-lake-id="u8b48cec6" id="u8b48cec6"> int类型的成员变量来表示同步状态，在</span><span data-lake-id="u16f1395e" id="u16f1395e" style="color: #DF2A3F">state</span><span data-lake-id="u601a3a24" id="u601a3a24">=1的时候表示当前对象锁已经被占有了。它提供了三个基本方法来操作同步状态：getState(), setState(int newState), 和 compareAndSetState(int expect, int update)。这些方法允许在不同的同步实现中自定义资源的共享和独占方式。</span></p>
  <p data-lake-id="u2b0c2b01" id="u2b0c2b01"><span data-lake-id="ua88b5230" id="ua88b5230">​</span><br></p>
  <pre lang="java"><code>
// 同步状态
private volatile int state;

// 获取状态
protected final int getState() {
    return state;
}

// 设置状态
protected final void setState(int newState) {
    state = newState;
}

// CAS更新状态
protected final boolean compareAndSetState(int expect, int update) {
    // See below for intrinsics setup to support this
    return unsafe.compareAndSwapInt(this, stateOffset, expect, update);
}
</code></pre>
  <p data-lake-id="u41c77408" id="u41c77408"><br></p>
  <h4 data-lake-id="GOCL9" id="GOCL9"><span data-lake-id="u2f209798" id="u2f209798">FIFO队列——Node</span></h4>
  <p data-lake-id="u4525f7f8" id="u4525f7f8"><br></p>
  <p data-lake-id="ued06b96a" id="ued06b96a"><span data-lake-id="u79b1c3b3" id="u79b1c3b3">AQS内部通过一个内部类——Node，AQS就是借助他来实现同步队列的功能的。</span></p>
  <p data-lake-id="u9dd77a4d" id="u9dd77a4d"><span data-lake-id="u36c1e021" id="u36c1e021">​</span><br></p>
  <p data-lake-id="u445ba035" id="u445ba035"><img src="https://cdn.nlark.com/yuque/0/2024/png/5378072/1704527213375-e9cfffe7-0819-4de8-bd05-1f80449a6876.png?x-oss-process=image%2Fwatermark%2Ctype_d3F5LW1pY3JvaGVp%2Csize_40%2Ctext_SmF2YSA4IEd1IFA%3D%2Ccolor_FFFFFF%2Cshadow_50%2Ct_80%2Cg_se%2Cx_10%2Cy_10"></p>
  <p data-lake-id="uc6fc30f6" id="uc6fc30f6"><br></p>
  <p data-lake-id="ub78342fe" id="ub78342fe"><span data-lake-id="ua5822c90" id="ua5822c90">当线程尝试获取资源失败时，AQS 会将该线程包装成一个 Node 节点，并将其插入同步队列的尾部。在资源可用时，队列头部的节点会尝试再次获取资源。（在 AQS 中，Node 也用于构建条件队列。当线程需要等待某个条件时，它会被加入到条件队列中。当条件满足时，线程会被转移回同步队列。）</span></p>
  <p data-lake-id="u0e1c77b5" id="u0e1c77b5"><span data-lake-id="u177d6141" id="u177d6141">​</span><br></p>
  <pre lang="java"><code>
// Node类用于构建队列
static final class Node {
    // 标记节点状态。常见状态有 CANCELLED（表示线程取消）、SIGNAL（表示后继节点需要运行）、CONDITION（表示节点在条件队列中）等。
    volatile int waitStatus;
    // 前驱节点
    volatile Node prev;
    // 后继节点
    volatile Node next;
    // 节点中的线程，存储线程引用，指向当前节点所代表的线程。
    volatile Thread thread;
}

// 队列头节点，延迟初始化。只在setHead时修改
private transient volatile Node head;
// 队列尾节点，延迟初始化。
private transient volatile Node tail;

// 入队操作
private Node enq(final Node node) {
    for (;;) {
        Node t = tail;
        if (t == null) { // 必须先初始化
            if (compareAndSetHead(new Node()))
                tail = head;
        } else {
            node.prev = t;
            if (compareAndSetTail(t, node)) {
                t.next = node;
                return t;
            }
        }
    }
}
</code></pre>
  <p data-lake-id="u3ba71cea" id="u3ba71cea"><span data-lake-id="u0b68ffea" id="u0b68ffea">​</span><br></p>
  <p data-lake-id="ue754088b" id="ue754088b"><span data-lake-id="uf395d1cf" id="uf395d1cf">就这样，一个又一个Node被连接在一起，就成为了一个</span><span data-lake-id="ua86cd272" id="ua86cd272" style="color: #DF2A3F">FIFO的队列</span><span data-lake-id="u67136989" id="u67136989">。</span></p>
  <p data-lake-id="u13b3a018" id="u13b3a018"><span data-lake-id="u66e40110" id="u66e40110">​</span><br></p>
  <p data-lake-id="u194fd2fe" id="u194fd2fe"><img src="https://cdn.nlark.com/yuque/0/2024/png/5378072/1704527607626-fcffec73-dfa7-47f3-bf82-99b16ef0688d.png?x-oss-process=image%2Fwatermark%2Ctype_d3F5LW1pY3JvaGVp%2Csize_40%2Ctext_SmF2YSA4IEd1IFA%3D%2Ccolor_FFFFFF%2Cshadow_50%2Ct_80%2Cg_se%2Cx_10%2Cy_10"></p>
  <p data-lake-id="u22766e91" id="u22766e91"><br></p>
  <blockquote data-lake-id="u697d7ab0" id="u697d7ab0">
   <p data-lake-id="uae3adbbe" id="uae3adbbe"><span data-lake-id="ufbfe6b6a" id="ufbfe6b6a">AQS中的阻塞队列是一个CLH队列。CLH（Craig, Landin, and Hagersten）队列是一种用于实现自旋锁的有效数据结构。它是由Craig, Landin和Hagersten首次提出的，因此得名。</span></p>
  </blockquote>
  <p data-lake-id="u9e385ded" id="u9e385ded"><br></p>
  <h1 data-lake-id="ZlPg2" id="ZlPg2"><span data-lake-id="ue838a9c2" id="ue838a9c2">扩展知识</span></h1>
  <h2 data-lake-id="qMQmj" id="qMQmj"><span data-lake-id="u369231d7" id="u369231d7">AQS有哪些实现？</span></h2>
  <p data-lake-id="u77c2b2c1" id="u77c2b2c1"><span data-lake-id="u8b66fe83" id="u8b66fe83">​</span><br></p>
  <p data-lake-id="u9dc9af8b" id="u9dc9af8b"><img src="https://cdn.nlark.com/yuque/0/2022/png/5378072/1671360897218-54f84a55-c6ca-4276-96d5-78863803a6be.png?x-oss-process=image%2Fwatermark%2Ctype_d3F5LW1pY3JvaGVp%2Csize_19%2Ctext_SmF2YSA4IEd1IFA%3D%2Ccolor_FFFFFF%2Cshadow_50%2Ct_80%2Cg_se%2Cx_10%2Cy_10"></p>
  <p data-lake-id="ud2280c29" id="ud2280c29"><br></p>
  <p data-lake-id="u3663ad0b" id="u3663ad0b"><span data-lake-id="u9ce11309" id="u9ce11309">AQS全称为AbstractQueuedSynchronizer，它提供了一个FIFO队列，可以看成是一个用来实现同步锁以及其他涉及到同步功能的核心组件，常见的有：ReentrantLock、CountDownLatch、Semaphore等。</span></p>
  <p data-lake-id="u9513a9ac" id="u9513a9ac"><span data-lake-id="u10392126" id="u10392126">​</span><br></p>
  <p data-lake-id="u7e9da198" id="u7e9da198"><span data-lake-id="ud93cba16" id="ud93cba16">从本质上来说，AQS提供了两种锁机制，分别是排它锁和共享锁。</span></p>
  <p data-lake-id="u2bc943d5" id="u2bc943d5"><span data-lake-id="u42e19b26" id="u42e19b26">​</span><br></p>
  <p data-lake-id="ua03bcb52" id="ua03bcb52"><span data-lake-id="u8bbf706a" id="u8bbf706a">排它锁就是存在多线程竞争同一共享资源时，同一时刻只允许一个线程访问该共享资源，也就是多个线程中只能有一个线程获得锁资源，比如Lock中的ReentrantLock重入锁实现就是用到了AQS中的排它锁功能。</span></p>
  <p data-lake-id="u48fe01ed" id="u48fe01ed"><span data-lake-id="u325cc4d9" id="u325cc4d9">​</span><br></p>
  <p data-lake-id="uc2465978" id="uc2465978"><span data-lake-id="ub2667de4" id="ub2667de4">共享锁也称为读锁，就是在同一时刻允许多个线程同时获得锁资源，比如CountDownLatch和Semaphore都是用到了AQS中的共享锁功能。</span></p>
  <p data-lake-id="u0f481be7" id="u0f481be7"><span data-lake-id="u05f0cc42" id="u05f0cc42">​</span><br></p>
  <h3 data-lake-id="b9swD" id="b9swD"><strong><span data-lake-id="uacba550a" id="uacba550a" class="lake-fontsize-24" style="color: rgb(38, 38, 38)">CountDownLatch、CyclicBarrier、Semaphore</span></strong></h3>
  <p data-lake-id="ufcb062c3" id="ufcb062c3"><br></p>
  <h3 data-lake-id="B1n0F" id="B1n0F"><span data-lake-id="uea3951b9" id="uea3951b9">ReentrantLock</span></h3>
  <p data-lake-id="uf7f6ee83" id="uf7f6ee83"><br></p>
  <p data-lake-id="u46142352" id="u46142352"><br></p>
  <h2 data-lake-id="ouIwF" id="ouIwF"><span data-lake-id="ua9684027" id="ua9684027">同步队列&amp;条件队列</span></h2>
  <p data-lake-id="uf25b9a96" id="uf25b9a96"><br></p>
  <p data-lake-id="u0ce553a6" id="u0ce553a6"><span data-lake-id="udfd4f6e6" id="udfd4f6e6">AQS 总共有两种队列，一种是</span><strong><span data-lake-id="u6f603cad" id="u6f603cad">同步队列</span></strong><span data-lake-id="u3a90c0fe" id="u3a90c0fe">，用于实现锁的获取和释放。还有一种是</span><strong><span data-lake-id="uf99bf40d" id="uf99bf40d">条件队列</span></strong><span data-lake-id="u58025b78" id="u58025b78">，条件队列也是一个FIFO队列，用于在特定条件下管理线程的等待和唤醒。</span></p>
  <p data-lake-id="u2ad27cab" id="u2ad27cab"><span data-lake-id="ub46ee591" id="ub46ee591">​</span><br></p>
  <p data-lake-id="ud8565f58" id="ud8565f58"><span data-lake-id="ua1435702" id="ua1435702">单独开一篇介绍，待补充。。。</span></p>
  <h2 data-lake-id="JsR29" id="JsR29"><span data-lake-id="u275bd002" id="u275bd002">独占模式&amp;共享模式</span></h2>
  <p data-lake-id="ue233144c" id="ue233144c"><br></p>
  <p data-lake-id="ua1c7dd2b" id="ua1c7dd2b"><span data-lake-id="uf9169007" id="uf9169007">AQS提供了两种模式来支持不同类型的同步器：独占模式和共享模式。</span></p>
  <p data-lake-id="uae5b551c" id="uae5b551c"><span data-lake-id="u0e3c1d8d" id="u0e3c1d8d">​</span><br></p>
  <p data-lake-id="uf2d9e7c8" id="uf2d9e7c8"><span data-lake-id="u5725cf75" id="u5725cf75">单独开一篇介绍，待补充。。。</span></p>
 </body>
</html>